
char* getClasspath ();

char *getConfigFile ();
